1
Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives

Jorg Flum, Erich Gradel, Thomas Wilke
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 4.27 MB
0 / 0
english, 2008
2
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 1.72 MB
0 / 0
english, 2011
3
Logic and automata: History and perspectives

Logic and automata: History and perspectives

Flum, Jörg, Grädel, Erich, Wilke, Thomas (eds.)
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 3.86 MB
0 / 0
english, 2008
4
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 1.72 MB
0 / 0
english, 2011
6
Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
साल:
2007
भाषा:
english
फ़ाइल:
PDF, 4.01 MB
0 / 0
english, 2007
7
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
साल:
2002
भाषा:
english
फ़ाइल:
PDF, 2.32 MB
0 / 0
english, 2002
8
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
साल:
1997
भाषा:
english
फ़ाइल:
DJVU, 5.98 MB
0 / 0
english, 1997
9
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
साल:
2002
भाषा:
english
फ़ाइल:
PDF, 6.77 MB
0 / 0
english, 2002
10
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
साल:
1997
भाषा:
english
फ़ाइल:
DJVU, 4.69 MB
0 / 0
english, 1997